Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Tesis	Un servidor de aplicaciones MLS: especificación y verificación de propiedades de seguridad	Valente, Abel	(2003)	Sala	----------